Compiling Natural Semantics Into ML
نویسنده
چکیده
This paper presents a compilation scheme from natural semantics speciications to ML. Permutations of premises allow, for a class of speciications, a purely functional execution and can reduce non-determinism. This method uses some speciic features of ML, like exceptions , closures and pattern-matching.
منابع مشابه
Compiling Natural Semantics - ReadingSample
Natural semantics has become a popular tool among programming language researchers. It is used for specifying many aspects of programming languages, including type systems, dynamic semantics, translations between representations, and static analyses. The formalism has so far largely been limited to theoretical applications, due to the absence of practical tools for its implementation. Those who...
متن کاملCompiling dynamic agent conversations1
We consider defining executable dialogues for communicating agents. Towards this end, we introduce agent classes whose communication primitives are based on deduction. Their operational semantics are given by an abstract logical machine that is defined purely in sequential terms. These agents communicate under the control of plans requiring a synchronization flag. These plans can be rewritten a...
متن کاملA Semantic Interface for Logic Grammars
We introduce a semantic interface into logic grammars to give a natural link to the semantic component of natural language understanding systems. The semantic interface contains five parameters, i.e. input, semantic information, new devices, generator, and output. These parameters specify the procedure of compiling a desired semantic theory into its corresponding logic programs. The semantic in...
متن کاملA Discourse Analysis of “The Prince and His Companions” in Kelileh and Demneh Based On Semio-Semantics
Despite showing an overtly simple structure, the semantic process in classic literary-narrative discourse conforms to complicated semiotic systems. As a result, semio-semantics is deemed as one of the most scientific, reliable tools since it helps intradiscursive semio-textual propositions be phenomenologically, and even epistemologically, analyzed. Consequently, the narrative discourse in “The...
متن کاملPredicate-Induced Permutation Groups
Natural languages abound in combinatorial phenomena that are related to the predicate of the sentence and its ability to permute noun phrase arguments. After compiling several illustrative phenomena of natural languages, I propose a novel analysis in terms of permutation groups, a concept borrowed from mathematical combinatorics that is ubiquitous in applied sciences. I show that each natural l...
متن کامل